|
|
|
| e-Pub |
Previous | 
Home
Section: Bilateral Contracts and Grants with Industry
Bilateral Grants with Industry
Joint industrial PhD: CRDTs for Large-Scale Storage Systems, with Scality SA
We have started a joint CIFRE (industrial PhD) research with the French start-up company Scality , as described above (under “Large-Scale File Systems”).
The objective of this research is to design new algorithms for file and block storage systems, considering both the issues of scaling the file naming tree to a very large size, and the issue of conflicting updates to files or to the name tree, in the case of high latency or disconnected work.
EMR CREDIT, with Thales.
Franck Petit and Swan Dubois participate to the creation of the EMR (Equipe Mixte de Recherche) CREDIT, (Compréhension, Représentation et Exploitation Des Interactions Temporelles) between LIP6/UPMC and Thales.
Nowadays, networks are the field of temporal interactions that occur in many settings networks, including security issues. The amount and the speed of such interactions increases everyday. Until recently, the dynamics of these objects was little studied due to the lack of appropriate tools and methods. However, it becomes crucial to understand the dynamics of these interactions. Typically, how can we detect failures or attacks in network traffic, fraud in financial transactions, bugs or attacks traces of software execution. More generally, we seek to identify patterns in the dynamics of interactions. Recently, several different approaches have been proposed to study such interactions. For instance, by merging all interactions taking place over a period (e.g. one day) in a graph that are studied thereafter (evolving graphs). Another approach was to built meta-objects by duplicating entities at each unit of time of their activity, and by connecting them together.
The goal of the EMR is to join both teams of LIP6 and Thales on these issues. More specifically, we hope to make significant progress on security issues such as anomaly detection. This requires the use of a formalism sufficiently expressive to formulate complex temporal properties. Recently, a vast collection of concepts, formalisms, and models has been unified in a framework called Time-Varying Graphs. We want to pursuit that way. In the short run, the challenges facing us are: refine the model to capture some interaction patterns, design of algorithms to separate sequences of interactions, Identify classes of entities playing a particular role in the dynamics, such as bridges between communities, or sources and sinks.